|
∇ The nabla symbol The nabla symbol is the symbol (∇). The name comes from the Arabic meaning arrow, or Hebrew word for a harp, called nevel , which had a similar shape. The symbol was first used by William Rowan Hamilton in the form of a sideways wedge: ⊲. The nabla symbol is available in standard HTML as ∇ and in LaTeX as \nabla. In Unicode, it is the character at code point U+2207, or 8711 in decimal notation.==Mathematics== The nabla is used in mathematics to denote the del operator, a differential operator that indicates taking gradient, divergence, or curl. It also can refer to a connection in differential geometry and to the backward difference operator in the calculus of finite differences, as well as the ''all'' relation (most commonly in lattice theory). It was introduced by the Irish mathematician and physicist William Rowan Hamilton in 1837.〔W. R. Hamilton, in ''Trans. R. Irish Acad.'' XVII. 236 (1837)〕 William Thomson wrote in 1884: "I took the liberty of asking Professor Bell whether he had a name for this symbol and he has mentioned to me ''nabla'', a humorous suggestion of Maxwell's. It is the name of an Egyptian harp, which was of that shape".〔W. Thomson, ''Notes Lect. Molecular Dynamics & Wave Theory of Light'' at Johns Hopkins Univ. x 112 (MS) (1884)〕 In 1901, Josiah Willard Gibbs and Edwin Bidwell Wilson wrote: "This symbolic operator was introduced by Sir W. R. Hamilton and is now in universal employment. There seems, however, to be no universally recognized name for it, although owing to the frequent occurrence of the symbol some name is a practical necessity. It has been found by experience that the monosyllable ''del'' is so short and easy to pronounce that even in complicated formulae in which occurs a number of times, no inconvenience to the speaker or listener arises from the repetition. ''V'' is read simply as 'del ''V ".〔Gibbs & Wilson, ''Vector analysis: a text-book for the use of students of mathematics and physics, founded upon the lectures of J. Willard Gibbs by Edwin Bidwell Wilson'' (1901)〕 In the computer science field of abstract interpretation, the nabla is the usual symbol for the widening operator, an operator that permits static analysis of programs to terminate in finite time. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「nabla symbol」の詳細全文を読む スポンサード リンク
|